541. Software for Roundoff Analysis of Matrix Algorithms
المؤلف: \ Webb Miller, Celia Wrathall
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Matrices -- Data processing,Roundoff errors -- Data processing,ماتریسها -- دادهپردازی
رده :
E-Book
,
542. Solutions to selected exercises from distributed algorithms
المؤلف: Lynch, Nancy Ann
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Problems, exercises, etc ، Computer algorithms,Distributed processing - Problems, exercises, etc ، Electronic data processing
رده :
QA
76
.
9
.
A43
L96
1998
543. Some tapas of computer algebra
المؤلف: / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Algebra- Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
544. Spectral Techniques in VLSI CAD
المؤلف: by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Electronic data processing.
رده :
TK7874
.
75
B965
2001
545. Spectral analysis of signals
المؤلف: / Yanwei Wang, Jian Li, Petre Stoica
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Adaptive signal processing,Missing observations (Statistics),Nonparametric statistics,Signal processing , Statistical methods
رده :
E-BOOK
546. Stochastic Optimization: Algorithms and Applications
المؤلف: edited by Stanislav Uryasev, Panos M. Pardalos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
547. Structural Information and Communication Complexity :
المؤلف: Keren Censor-Hillel, Michele Flammini (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
A43
548. Structural information and communication complexity :
المؤلف: Zvi Lotker, Boaz Patt-Shamir (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
549. Swift data structure and algorithms :
المؤلف: Erik Azar, Mario Eguiluz Alebicto.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)
رده :
QA76
.
774
.
I67
550. Symbolic integration I
المؤلف: / Manuel Bronstein
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Integrals- Data processing
رده :
QA308
.
B76
2005
551. Symbolic integration I
المؤلف: / Manuel Bronstein
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Integrals- Data processing
رده :
QA308
.
B76
1997
552. Symbolic integration I
المؤلف: / Manuel Bronstein
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Integrals- Data processing
رده :
QA308
.
B76
1997
553. Synthesis and optimization of DSP algorithms
المؤلف: / by George A. Constantinides, Peter Y.K. Cheung and Wayne Luk
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Signal processing , Digital techniques,Digital communications , Equipment and supplies , Design , Data processing,Electronic books. , local
رده :
E-BOOK
554. System identification using regular and quantized observations
المؤلف: Qi He, Le Yi Wang, G. George Yin
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Signal processing-- Digital techniques-- Mathematics,System identification
رده :
QA402
.
H4
2013
555. System modeling and optimization
المؤلف: / edited by John Cagnol, Jean-Paul Zolesio
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Control theory , Congresses,Mathematical optimization , Congresses,Automatic control , Congresses,Electronic books. , local
رده :
E-BOOK
556. Systems analysis tools for better health care delivery
المؤلف: Panos M. Pardalos...[et al.], editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Health services administration,Health services administration-- Data processing,Medical informatics
رده :
R690
557. Tensor voting
المؤلف: / Philippos Mordohai and G erard Medioni
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer vision,Machine learning,Three-dimensional imaging
رده :
E-BOOK
558. Text analysis pipelines : towards ad-hoc large scale text mining
المؤلف: Henning Wachsmuth
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Data mining,، Text processing )Computer science(,، Computer science,، Computers
رده :
QH
205
.
2
.
T54
2015
559. Text, speech, and dialogue :
المؤلف: Ivan Habernal, Václav Matoušek (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Natural language processing (Computer science), Congresses,Speech processing systems, Congresses,Text processing (Computer science), Congresses
رده :
QA76
.
9
.
N38
T73
2013